Model-Based Development of Safety-Critical Software: Safe and Effi
ثبت نشده
چکیده
منابع مشابه
An Approach to Modeling Software Safety in Safety-Critical Systems
Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Problem statement: Existing software quality models like McCall’s and Boehm’s and ISO 9126 were inadequate in addressing the software safety issues of real time safety-critical embedded systems....
متن کاملIdentification of Safe Assembly Points in Emergencies in a Gas Refinery of the South Pars Gas Complex Using Fuzzy Logic Model
INTRODUCTION: Crisis management is of critical importance in the oil and gas industries due to the increasing occurrence of accidents in these areas. One of the most important issues regarding crisis management in such industries is the identification of safety assembly points where employees should gather in emergencies. This study aimed to identify the safe points in a refinery using geo...
متن کاملOrganization's performance measurement model based on the critical success factors of the reverse supply chain in airline industry with a quality gap approach
Airline industry is one of the main infrastructures for sustainable development of a country. The quality of the reverse support service will be effective in increasing the safety and health of the structures, reducing the impact of disasters and reducing costs. The aim of this study is to evaluate the performance of an organization based on the main factors of reverse supply chain with the ser...
متن کاملA comprehensive safety engineering approach for software-intensive systems based on STPA
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous...
متن کاملCertified Software Factory: Open Software Toolsuites, Safe Methodologies and System Architectures
This paper discusses model-based design in the context of the Safety Critical Application Development Environment (SCADE), developed by Esterel Technologies.
متن کامل